131![Russian Academy of Sciences Program Systems Institute Sensor network technology platform Project status Russian Academy of Sciences Program Systems Institute Sensor network technology platform Project status](https://www.pdfsearch.io/img/f3fb6520834355a2dfb0eaa3abedf4b2.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2008-04-10 08:04:10
|
---|
132![Russian Academy of Sciences Program Systems Institute Sensor network technology platform Project status ! R&D to be completed by 2008 Q4. ! Ready to the market by 2009 Q4. Russian Academy of Sciences Program Systems Institute Sensor network technology platform Project status ! R&D to be completed by 2008 Q4. ! Ready to the market by 2009 Q4.](https://www.pdfsearch.io/img/24a535e14bc4cf1af6edbabbd9d5883a.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2008-03-04 01:04:01
|
---|
133![Russian Academy of Sciences Program Systems Institute Optimal Control of Temperature Fields for Cooling of Supercomputer Facilities and Clusters and Energy Saving for Supercomputer Centers Importance of the Investigatio Russian Academy of Sciences Program Systems Institute Optimal Control of Temperature Fields for Cooling of Supercomputer Facilities and Clusters and Energy Saving for Supercomputer Centers Importance of the Investigatio](https://www.pdfsearch.io/img/797b83a3d52a15300effba18550e7c2c.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2006-05-22 01:59:20
|
---|
134![Russian Academy of Sciences Program Systems Institute Interin PROMIS Typical automated Workplaces Russian Academy of Sciences Program Systems Institute Interin PROMIS Typical automated Workplaces](https://www.pdfsearch.io/img/652da0df709436b009ca0d03e57502a7.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2006-05-19 02:59:47
|
---|
135![Russian Academy of Sciences Program Systems Institute Russian Research Institute for Regional Problems the Ministry of Science and Education Russian Academy of Sciences Program Systems Institute Russian Research Institute for Regional Problems the Ministry of Science and Education](https://www.pdfsearch.io/img/f20667e51e00027eb05425fd127be32f.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2006-06-05 01:13:26
|
---|
136![Inductive Prover Based on Equality Saturation for a Lazy Functional Language⋆ (Extended Version) Sergei A. Grechanik Keldysh Institute of Applied Mathematics Russian Academy of Sciences Inductive Prover Based on Equality Saturation for a Lazy Functional Language⋆ (Extended Version) Sergei A. Grechanik Keldysh Institute of Applied Mathematics Russian Academy of Sciences](https://www.pdfsearch.io/img/974acd286d4d70b6baeaa88a4451ad0e.jpg) | Add to Reading ListSource URL: meta2014.pereslavl.ruLanguage: English - Date: 2014-06-15 20:00:00
|
---|
137![Russian Academy of Sciences Program Systems Institute ServNet-3: Service net of series 3 supercomputers of SKIF family The aim of the development is to establish a simple and reliable system, implementing functions of a Russian Academy of Sciences Program Systems Institute ServNet-3: Service net of series 3 supercomputers of SKIF family The aim of the development is to establish a simple and reliable system, implementing functions of a](https://www.pdfsearch.io/img/b86c1eccde5a61305799569bdf7cb469.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2008-09-16 00:03:36
|
---|
138![Russian Academy of Sciences Program Systems Institute First International Workshop on Metacomputation in Russia Russian Academy of Sciences Program Systems Institute First International Workshop on Metacomputation in Russia](https://www.pdfsearch.io/img/e9a594a61695934aa466ccfe163f3866.jpg) | Add to Reading ListSource URL: meta2008.pereslavl.ruLanguage: English - Date: 2008-06-17 03:15:05
|
---|
139![Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems The SKIF K-1000 Supercomputer was designed and produced within the framework of the Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems The SKIF K-1000 Supercomputer was designed and produced within the framework of the](https://www.pdfsearch.io/img/def74f256c6027e08e49b84e5bb152b5.jpg) | Add to Reading ListSource URL: skif.pereslavl.ruLanguage: English - Date: 2006-01-25 01:14:21
|
---|
140![Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions Arkady V. Klimov Institute of Design Problems in Microelectronics, Russian Academy of Sciences, Moscow, Russia Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions Arkady V. Klimov Institute of Design Problems in Microelectronics, Russian Academy of Sciences, Moscow, Russia](https://www.pdfsearch.io/img/b89327c2d136377ef3142cd021b3c5c7.jpg) | Add to Reading ListSource URL: meta2014.pereslavl.ruLanguage: English - Date: 2014-06-15 20:00:00
|
---|